Representing and Verifying Intentions in Telephony Features Using Abstract Data Types
نویسندگان
چکیده
Feature intentions describe the intended behavior of telephony features. A method for formally specifying feature intentions by abstract data types is given. Further, a method for detecting violation of certain types of feature intentions at the design stage is provided. Specification languages considered are SDL, Prolog, and LOTOS. If the specification is in LOTOS, detection can be helped by the use of goaloriented execution. Examples of specification and detection are provided, namely involving Originating Call Screening and Call Forwarding.
منابع مشابه
Feature Interaction Filtering and Detection with Use Case Maps and LOTOS
Telephony systems have evolved from the Plain Old Telephony System providing only the basic functionality of making phone calls, to sophisticated systems in which many features have been introduced, providing network subscribers more control on the call establishment process. However, these facilities are confronted with a major obstacle known as the feature interaction problem. A feature inter...
متن کاملHand Gesture Recognition from RGB-D Data using 2D and 3D Convolutional Neural Networks: a comparative study
Despite considerable enhances in recognizing hand gestures from still images, there are still many challenges in the classification of hand gestures in videos. The latter comes with more challenges, including higher computational complexity and arduous task of representing temporal features. Hand movement dynamics, represented by temporal features, have to be extracted by analyzing the total fr...
متن کاملVerifying the Specification-to-Code Correspondence for Abstract Data Types
Formal specification has become an important issue in the development of safety critical software. Automatic code generation from specifications in general leads to inefficient implementations. Instead, we present a verification method that allows verifying an implementation against a given specification, using specification generation from program source code. Generated specifications can be c...
متن کاملForecasting Capital Investment for Fixed-Telephony Network Switching Equipment in Tandem with NGN Migration Using Cobb-Douglas Model
This paper tries to estimate the capital investment required for the fixed-telephony network switching equipment as demanded by the fourth national development plan. As a first step, the Cobb-Douglas model is used as a successful demand forecasting model to estimate the demand over the target years. Then, an architectural plan is developed for the fixed-telephony switching network that takes in...
متن کاملInterfaces of Macro and Microstructure in Academic Writing: The Case of Research Article Abstracts
Abstract Although flourishing research has been devoted to research on article abstracts, more studies are needed to unpack the relationship between rhetorical moves and their associated linguistic and rhetorical features (e.g., metadiscourse). To underpin this relationship, the current study analyzed a total of 60 research article abstracts written in English by two cultural groups in three di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995